(defstep ground-but (fnums)
  (let ((label (newname "GB:")))
    (then (relabel label fnums)
	  (hide label)
	  (ground)
	  (reveal label)
	  (delabel label)))
  "Hides formulas FNUMS before applying (ground). Reveals formulas afterwards."
  "~%Applying (ground), hiding ~A"
)
