Greenman house (Boulder, Colo.).