Formal GUESS

(3)