:- op(700,yfx,of).