Mock Analysis: Learning From Mistakes in NLSAT | NLTI | NLTI