HomeIsabelle/Phabricator

tuned; avoided intermediate list and list traversal