E89 Propositional Object in Version 5.0.2