pub const implies: Key;