“Inchanted Tools designed the robots Miroki and Miroka.”