<<
p1
>>
P
>=
0.9999
[
F
all_prefer_1
]