"A and B" is true if and only if "A" is true and "B" is true.