HomeIsabelle/Phabricator

clarified position for spec rule: like entity;