let term_is_true = Boolean.is_true