Symbol: p_exists