“We also can’t say whose robot can do a high jump because you’d have to build special legs … and that’s not necessary ... Ten ...