defsene til lab5