Discussion of the ACL2 waterfall, preprocess, simplify and simplify-clause, with special emphasis on the role of linear arithmetic during these phases. To be used as a background for future discussions on arithmetic in ACL2.