Specification Tests

Used to be in the giant tests