(require "lists.BRU" "logic.BRU")
[(Y2	(\abstracted-functions
    (subst
      ((car function-list) function-list)
      ((function-list 
        (cons (\functions
                (\n
                  (((head abstracted-functions)
                    ((rest functions) functions))
                   n)))
              (\functions
                (\n
                  (((rest abstracted-functions)
                    ((head functions) functions))
                   n)))))))))
 (Y2-choose (\abstracted-functions (\selector
      (subst 
        ((selector function-list) function-list)
        ((function-list 
          (cons (\functions 
                  (\n
                    (((head abstracted-functions)
                      ((rest functions) functions))
                     n)))
                (\functions
                  (\n
                    (((rest abstracted-functions)
                      ((head functions) functions))
                     n))))))))))]