Constant THEORY_IS_FALSE 

pub const THEORY_IS_FALSE: &str = "The theory if false";