completed ex 2.36, 2.37. my interpretation of ex 2.37 differs from the schemewiki community's