pub const ASSERT_THEORY_IS_FALSE: &str = "The theory is false";