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