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