"backward," i.e., the Initial state may only support conversion between BF16 and formats larger than the sword, or anything else */ fact { rf.~rf in iden } // assume all SCs succeed // rdw fun rdw : Event->Event { ^po