FRe$hCo (Explicit)

FRe$hCo (Explicit)