TOTR/PMF$ (Explicit)

TOTR/PMF$ (Explicit)