let p_none s = false