Making changes and then verifying with Arjun