Rename special assrtions