Thanks. I actually confused myself when I was writing it. I should have taken that as a sign to change the names. (I was going for a reference[1], but that shou

Thanks. I actually confused myself when I was writing it. I should have taken that as a sign to change the names. (I was going for a reference[1], but that shouldn't muddle things!) I hope the new names are differentiated enough. [1] https://en.wikipedia.org/wiki/Dan_%26_Dave https://en.wikipedia.org/wiki/Dan_%26_Dave