HomeIsabelle/Phabricator

retain data structures more accurately;