Well, that's also true. But apparently there is no better thing to do. There is always a disconnect between what you mean and what you say. It happens all the

Well, that's also true. But apparently there is no better thing to do. There is always a disconnect between what you mean and what you say. It happens all the time and the risk is not going to go away. People who work with proof assistants understand this risk better and most of them are pretty happy that the risk is sufficiently small for their purposes.