Text this: Computer arithmetic and validity