P
Initializing...
A fresh cluster satisfies the invariant · Prove2Me