The nForum has moved to Zulip:
logical conjunction
.