[hwayne]

Good to know, thank you. I write a lot of teaching material for TLA+ and this will be helpful to think about.