Alternative name for "reasoning" model -> Guess and check