pub fn failure(message: &str, term: &Term) -> Vec<String>
The red panel for a wrong answer or an unmet requirement, and the pointer to hint.
hint