pub const assume: Symbol;