The reason is to use a volt_index constructor to contain the index expression case and assumeunique case.