P
Initializing...
Degradation and both monotonicities survive synthesis · Prove2Me