* Remove rules and conjunctions if required