a \land b