So, depending how you count, we're probably spending 60-80% of the course using these languages where mutation is discouraged, where higher-order functions like we study in the section on that, very convenient, and where one-of types, like use things like datatypes and the sort of thing. 