Good news, everyone! We are starting Diophantine equations, which are the type of problems that Ximera can actually check. We will pause to give people a chance to solve the problem themselves.