Before revision: Mathematically, this can be expressed as .
After revision: Mathematically, this can be expressed as