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