ch04 - done
right before "Generated equality"