kinds
known instances now define sets
—defined Mon, 17 Feb 2025 00:14:15 GMT by ANTEATER [history]