Clone "with axiom ." or "with goal ." to change the default
("with lemma ." is also accepted, just in case).