let
p_none s =
false