More forms from SICP