Salome and Ben Proofs