Enviar aquest missatge de text: Recent progress in the Boolean domain /