HomeIsabelle/Phabricator

more robust: retain length of results;