the propositional fracture theorem