Textmeddelande: Boolean matrix theory and applications