Add definition for maximum element value