HomeIsabelle/Phabricator

quantifier fixes