strict maximal implented