Submitted version (safety version).