HomeIsabelle/Phabricator

more efficient specification