HomeIsabelle/Phabricator

removed redundant assumptions