Property forall4(Enumeration enumeration1, Enumeration enumeration2,
                Enumeration enumeration3, Enumeration enumeration4,
                bool property(x, y, z, w)) =>
   new Property(_P4.enumerate(enumeration1, enumeration2, enumeration3,
                              enumeration4),
                (_P4 p) => property(p.proj1, p.proj2, p.proj3, p.proj4));

Property forall3(Enumeration enumeration1, Enumeration enumeration2,
                Enumeration enumeration3, bool property(x, y, z)) =>
   new Property(_P3.enumerate(enumeration1, enumeration2, enumeration3),
                (_P3 p) => property(p.proj1, p.proj2, p.proj3));

Property forall2(Enumeration enumeration1, Enumeration enumeration2,
                bool property(x, y)) =>
   new Property(_P2.enumerate(enumeration1, enumeration2),
                (_P2 p) => property(p.proj1, p.proj2));

Property forall(Enumeration enumeration, bool property(x)) =>
   new Property(_P1.enumerate(enumeration),
                (_P1 p) => property(p.proj1));