Assertions in proper places