P
Initializing...
The fuel-based recursion is stable: any fuel `k > rank s` computes `stateLaw s`. · Prove2Me