Proved PutLab (low-low case).