"... if the formal definition of a feature gets very messy and complicated, then you should not ignore that warning."

-- sounds like pg taking about Common Lisp loop.