P
Initializing...
Good implies correct: an extended rectangle with at most t faults is correct · Prove2Me