refinement: closures.