There are just four second-order quantifiers link.springer.com/article/10.100…
0
0
10
2K
7