The equivalence between ( AB )†= B † A † and other mixed-type reverse-order laws