rachels rewrite of modal logic causes errors. Rewriting getSitins logic. Currently not working