pub const emptyset: Key;