Se nenhum XILACO é COLIXA, então