Textmeddelande: Logical properties