HomeIsabelle/Phabricator

clarified signature: avoid dispatch via name;