Definition:

maximins