Precise In Mathematical Language