if: A and B are