I see. [He doesn't really know any ironic names off the top of his head but--] My sister's name is Robin and she's a galacticly famous singer. It's funny how those sorts of things work out on occasion.