@Martin_Whitworth@mathstodon.xyz Thanks. I was a little tense and preoccupied.