Recursive Rule Using Function Notation Form