Proved PcLab (low-low case).