Considere a afirmação:
Se o tapete é maior que a sala, então ele não cabe no quarto.
Uma afirmação logicamente equivalente é
Olá, para continuar, precisamos criar uma conta! É rápido e grátis.
