The fourth final rule is that we remove all variables that evaluate to false-- so all variables x that are set to false and all variables not x where x is set to true for instance that we know are set in that manner. 