[simonw]

I'm pretty sure the two of you are working from different definitions of the word "rigorous" here.

(Which, given the topic of conversation here, is somewhat ironic.)

[rq1]

I take it broadly as nothing was clearly defined. :)