remove propositional mode & settings