It's been revealed to me that DW is the One True Logic. It turns out this is a useful thing to know, so you're welcome.