Introduction to Mathematical Philosophy

by Bertrand Russell

and

are not incompatible," i.e. "

implies that

and

are both true"—for, as we saw, the conjunction of