No.13915720 ViewReplyOriginalReport
What is the quantifier of order -1?