Item 0.2.10.a.

If you have lost weight, then you exercised.

in-context