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

The syntax I used for OOST doesn't directly involve quantifiers over predicates, and your systems do. In either case, you still need to define how the syntax extends to  order etc. (which obviously don't exist in OOST).