method pp_term_true = pp_string "true"