The nForum has moved to Zulip: uniqueness quantifier.