A\supset(B\supset (A\wedge B))