GUESS Formal

(3)