Removing assertions