Moving into HtDP-2 book for a few months.