Text this: Arithmetic version of boolean algebra