HomeIsabelle/Phabricator

tuned; avoided intermediate lists