. . . . "Unfortunately, the assurance only holds without side effects such as state and control." .