ToDo:
Make "required specificity" vertical
Make nPos = N - nNeg, instead of rev(nNeg)
Fix notTail.
