I think I just realized that this ludeme, which I have wanted for so long, is easily defined:
I’m not able to test it currently, but it looks like it should work.
Edit: Equivalently:
Code:
(define "forAllSites"
(=
(count Sites
in:#1
)
(count Sites
in:(forEach
#1
if:#2
)
)
)
)
Edit: Equivalently:
Code:
(define "forAllSites"
(=
0
(count Sites
in:(forEach
#1
if:(not #2)
)
)
)
)