Examples/Solutions, from HTDP 2e.