I'll create new versions of these for instruction, but they are not necessary here.