More work on Mut/Immut p2