system-of-proof

(2)