Debugged Function1 definition