I think they are being funny - at least, their comments make me laugh, and it would be difficult to interpret the comment about higher order statements 'stoopin

I think they are being funny - at least, their comments make me laugh, and it would be difficult to interpret the comment about higher order statements 'stooping' in a serious or literal context. Neat side topic though