mkVseProofStatus :: String -> [String] -> ProofStatus ()
mkVseProofStatus n axs = (openProofStatus n vseProverName ())
   { goalStatus = Proved True
   , usedAxioms = axs }
mkVseProofStatus :: String -> [String] -> ProofStatus ()
mkVseProofStatus n axs = (openProofStatus n vseProverName ())
   { goalStatus = Proved True
   , usedAxioms = axs }
mkVseProofStatus n axs = (openProofStatus n vseProverName ())
   { goalStatus = Proved True
   , usedAxioms = axs }