P
Initializing...
A bounded strict-progress process has a terminal state · Prove2Me