P
Initializing...
Stack-machine addition of two integer items is correct in linear time · Prove2Me