let
fpp_goal predicate fmt x p =
Format
.fprintf fmt
"@[<hv 2>goal %s:@ %a@]@."
x predicate p;