pub const THEORY_IS_TRUE: &str = "The theory is true";