NUMBER@1 -- NUMBER@2 The name Thetis was also considered and rejected -LRB- it would later devolve to NUMBER@3 Thetis -RRB- .

NUMBER@1 -- NUMBER@2 -RRB- The name PERSON@1 was also considered and rejected -LRB- it would later devolve to NUMBER@3 Thetis -RRB- .
