実はどっちの管理人もAGだと仮定してみろ。