Checks-Effects-Interactions

The standard defensive coding pattern: validate inputs, update internal state, then make external calls.