Return is now infered.