The nForum has moved to Zulip: existential quantifier.