logic and proof

Upgrade
Loading…