This would be the rigid interpretation since i and -i are concrete distinguishable elements with Im and Re defined.