P
Initializing...
if eq safe · Prove2Me