added specs for the negative recursion SQL