lower-order form todo-rule-4