Made some text bold.
Minor changes.
Added an example of finite arithmetic problems.