Между Par (1) и множеством всех формулстатья