used to introduce a statement that is true for one thing and false for another