Para José, uma caixa de ferramentas é boa se, e somente se, para todo parafuso que houver na caixa, houver, também, uma chave que encaixa nele. Assim, se uma caixa de ferramentas não é boa para José, então, nela: