Is it the case that in every year, the sum of the number of days required to enforce a contract in Mexico and number of days required to enforce a contract in Guinea is greater than the number of days required to enforce a contract in Hong Kong ?