Completed 2/6 of the proofs for LG.ResMon.trans (product and coproduct).