• if A B and A B