Textmeddelande: Algebra and logic