The user can redefine this if they want.