Playing with outer integration rules.
Going to write a simple system for automatic sybolic recursion formulas.