HomeIsabelle/Phabricator

clarified signature and database layout;