pub const DISJOINT_OVER: &str = _;