rewrite to closure