Imagine what we could accomplish if we had a way of writing very precise language that is easy for a machine to interpret!