not sure we need to define a `max`