HomeIsabelle/Phabricator

fix long-running proof