Thanks for the pointer to self-licensing. I am sure there are many such mistakes at play here.<p>(Also, in the context of gender issues, I felt weird when you referred to two Ph.D. students as &quot;girls&quot;, because they probably are not children. I have lots of cognitive bias to work on, and so I try to be careful about words like that.)