`Therefore the comipler can guarantee that the created object is unique.`