P1 の erasure として AnyP を自動定義するんじゃない？