Proving statements false.