let
p =
Shostak
(
P
)