change function to program in size inference. conclusion changes.