It has come to my attention that a full Windsor knot is also known as a double Windsor.
If W = 2W, then W must equal 0.
But that means that that a half Windsor (1/2W) would also equal 0.
This equation would have us believe that a half Windsor is the same as a double Windsor, which it clearly isn't.
In any case, now that I know how to tie a Windsor, I'm never going back to the traditional four-in-hand knot. The Windsor knot uses up more of the tie, you see, thus not dangling as far down on the body. Thus, the Windsor is an important tactic for short people who don't want their ties hanging below their waist.