É tudo dedução lógica ;)