Zaslat SMS: Ontology Contraction: Beyond Propositional Paradise