Winter, Y. Plural Type Quantification. Proceedings of the AC 2025, 229-232.