"... 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 Lis

"... 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.