HomeIsabelle/Phabricator

tuned proofs;