The tests in the labspecs checks out

TODO: see TODO deff for more stuff to do