modified arithmetic-system in chapter 2