P
Initializing...
The publish step preserves the invariant · Prove2Me