Antigone comments on Gettier cases, Rigid Designators, and Referential Opacity