making 'Maximum()' more easily readable