Safety and verification (0)