Definition foo : Set.
Proof.
  refine ($(abstract admit)$).
Qed.