I see. Isn't that weird? Also, how can I define a ...
# announcements
z
I see. Isn't that weird? Also, how can I define a predicate that doesn't allow a Unit return