... a SICP consequent