various work: reduce closure, and other matters