Correct SPEC
*assertions-results* is now an atom