f2m

fun f2m(f: PFTBT): PMTBT