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