(note TQG11) (query (equal 12 (MultiplicationFn 3 4))) (answer Yes)