maximal, not maximum