Figure: The class definition of User