それは$MANA のポンプであるべきです