• thanks, that's (the non-equality bit) an interesting piece of trivia.