the end of second chapter (sicp)