let
never a =
always (not_ a)