Added getTicket and hasTicket to user.