<p>local catgirl implies the existence of roaming catgirl and locallow catgirl</p>