let p_all s = true