:- op(10, 42, example).