Unit now extends ExistentialRuleform