Zaslat SMS: Binary matrix factorisations under Boolean arithmetic