User blog comment:KthulhuHimself/Norminals Revisited./@comment-1605058-20151207205051/@comment-27014275-20151208075245

So the whole "Attempt at universalizing predicates" is useless?

hmm.