proofArgCmd names command doc =
  (names, NoArg, doc, proofArg command)
proofArgCmd names command doc =
  (names, NoArg, doc, proofArg command)
proofArgCmd names command doc =
  (names, NoArg, doc, proofArg command)