lower bounds (second MV buggy)