Thanks a lot, this looks all very useful. I found these texts by Tomasik and Baumann particularly interesting, and was not aware of them.
Thanks a lot, this looks all very useful. I found these texts by Tomasik and Baumann particularly interesting, and was not aware of them.