Before revision: Greaves formally defines totalism as follows: A state of affairs "A is better than B if total well-being in A is higher than total well-being in B.
After revision: Greaves formally defines totalism as follows: A state of affairs "A is better than B iff total well-being in A is higher than total well-being in B.