P
Initializing...
A counting-loop rule with summed iteration budgets · Prove2Me