lower bounds (second MV is buggy)