case analysis formal

Upgrade
Loading…