Use before declaring any nontrivial change complete, committing, or reporting success — especially when tempted to rely on tests or typecheck alone
