Proved mlab (low-low case).