Textmeddelande: Applied abstract analysis