let no p a b =
    match p a b with
      | Some(rho) -> Three.No(rho)
      | None -> Three.X