User blog comment:KthulhuHimself/Norminals Revisited./@comment-1605058-20151130200835/@comment-27014275-20151201120630

Isn't it just the same as tarskian for every  quantifications over predicates of earlier languages ?