{A AND B} IMPLIES C