tweaked CoLoR and finished dec & minimal mem proofs