I knew I should have taken symbolic logic…