Well, if you can find a legal R counter-example where this breaks... but of course I invite improvements.