Se Lula é o cara, então Obama é o craque. A proposição equivalente a esta é: