Two exercises in 1.3.4