You should construct expressions that don't make sense, like And of a tuple.