Assert consistency: if we get a canonical name it must exist.