[TxMt] help on folding rules