let help = "display the list of emitters for available proofs"