system-of-proof

(1)