//anonymity
1
-
P
=?[
F
(
f
=
0
) & (
s
=
2
)]
//cost
R
{
1
} =? [
F
(
s
=
3
)]