Because if we're not precise about our definitions and we build up a bunch of mathematics on top of this and do a bunch of proofs, one day we might scratch our heads and read some type of weird ambiguity.