adds lab5 specs.