let is = function Pp _, _ -> true | _ -> false