Oh, right. Actually, it's even more complex than that. A start means "AND up everything on the boolean stack and execute the following DNA if the result is true. So in this case,
cond
true
start
false
stop
start
1 .dn store
stop
1 will not be stored into .dn because of the false above.