logic and crypto