Sabe-se que Juvenal estar de folga é condição necessária para Matheus trabalhar e condição suficiente para Danilo treinar com Carlos. Sabe-se, também, que Danilo treinar com Carlos é condição necessária e suficiente para Leonardo treinar com Leandro. Assim, quando Leonardo não treina com Leandro:
