Updated LabK2.v