(A x B) && (B y C)