method pp_pred_true = pp_string "True"