Textmeddelande: Mathematics and logic for digital devices.