Comment by rungekuttarob

That actually would have been cool. Not sure if they were taken. He has a video where he explains more about it and the background to the names he picked.