For an entire industry whose primary medium is logic, the programming world is pretty terrible at keeping language precise