let to_three justs p a b =
    match p a b with
      | Yes(rho) -> justs := rho :: !justs; Three.Yes
      | No(rho) -> justs := rho :: !justs; Three.No
      | X ->  Three.X