let
p_hide p = p