Assume that there is no type safety problem in the Context class.