P は witness table に二つのエントリーを必要とするけど、 S の実装では一つにしかならないんじゃない？