Translate "Functions as a Simple Form of Abstraction"