なお、カルタゴはめんどくさいと考える。