 Even if one agrees that supervaluationism converges with classical logic about theoremhood, they clearly differ in other respects. Supervaluationism requires rejection of inference rules such as contraposition, conditional proof and reductio ad absurdum (Williamson 1994, 151–152). In the eyes of the supervaluationist, a demonstration that a statement is not true does not guarantee that the statement is false.