where does the 2 come from? I tried looking at your proof, and I had trouble being convinced that this would guarantee the !important nodes would be executed first.