Tekstiviesti: Algebra and logic