Valueの型がややこしくなるからORTにしたい場合に、その外側にPがある場合に出来なくなるなという話です