Assertions for updates.