벤 다이어그램을 그려보면, subgroup의 일원인 user는 자동으로 supergroup의 일원이다. 즉, `subgroup implies supergroup` 가 되어야 하는데, 실제로는 반대로 `supergroup implies subgroup` 으로 쓰이고 있음