remove superfluous let
simplify valid-ticket? by factoring out- and reusing the (not (not ..))-part