Changes to Assert Code, Verified and Updating.