Commit Daves ReducedFunctionalPrototype