The relabelling constants come from a record.