Todo

change to-do-rule-4 to higher-order form