Constant Invariant 

pub const Invariant: Symbol;