HomeIsabelle/Phabricator

proper spec_rule name via naming/binding/Morphism.binding;