hello-world(), arity 0 hello-world(), arity 1 'elem' template rule 'elem' #1 'elem' #2 False negative