Got rid or non-linear arithmetic from exercises in Section 3