@benfulton I didn't find it pompous, I'm glad they picked it up; they're much smarter than me http://lambda-the-ultimate.org/node/2862