logic and verification

Upgrade
Loading…