RealDeal f$ (Explicit)

RealDeal f$ (Explicit)