P geçiş anlamına gelmez. "Kanıtla" anlamına gelir.