
assertion 3: not tested.
