learn about [and] definition, review inductively defined props/C-H, skim chapter
read and/conj explanation