All men cannot fly.
Renato is a man.
Therefore, Renato cannot fly.
All things that cannot fly must walk.
Renato cannot fly.
Therefore, Renato must walk.
(Therefore, all men must walk.)
That which walks or flies has a destination.
Renato cannot fly, and thus must walk.
Therefore, Renato must have a destination.
(Therefore, all men must have a destination.)
Renato must have a destination.
A destination presupposes a location whence the transit commences.
The transit has not commenced.
