Sabe-se que Beto beber é condição necessária para Carmem cantar e condição suficiente para Denise dançar. Sabe-se, também, que Denise dançar é condição necessária e suficiente para Ana chorar. Assim, quando Carmem canta,
