andM and excluded middle post