Constant implies 

pub const implies: Key;