Updated LabK1.v