Removing requires. Adding more explicit definition for Language: