In Cool, if class C already has method foo defined, it is not permitted to define a new method foo with a different number of arguments or with arguments of different types. However, it is possible to do so in languages like Java and C++, which support method overloading. You have decided to implement method overloading in Cool by using the same algorithm as in Java and C++. Consider a dispatch expression e. foo(e1, ..., en) in which eo : To and for each i, ei : Ti. Class T, may have a set of one or more definitions of foo with different numbers or types of arguments (but no two definitions may have the same number and same types of arguments.) There are no constraints on the return types of the definitions - return types are not considered in the selection algorithm. From this set foo we choose a definition such that: (1) the definition foo(x1 : T1,..., In: Th): T; has n arguments, (2) for all i [1, n],T;