logic and verification