Constant forall 

pub const forall: Symbol;