let
p_all s =
true