HomeIsabelle/Phabricator

clarified signature: more operations;