Important revision: simplified expression, and more intuitive description.