Kravspec_lab2.pdf