E89 Propositional Object in version 7.1.1