So... does that mean that it's right? Because I don't think you can prove a point by assuming the existence of things that haven't been invented yet.