Update Lab5.krl