(set-logic;end-of-file-next
;not here