What kind of retarded nickname is "mir"?