HomeIsabelle/Phabricator

more systematic approach for instantiation