P
Initializing...
A counting-loop rule with a constant body budget · Prove2Me