In my work with Rayhana Amjad and Rob van Glabbeek, I've been thinking a bit about the space of linear-time temporal properties \Sigma ^\omega . There are a lot of results about this, some of which we're still working on proving. While the canonical account will be in our forthcoming journal paper and Rayhana's PhD thesis, I'm going to start writing a research notebook on this topic. I've decided to do this rather than blog about our results, because it's more in the spirit of Zettelkästen (Zettelkastengeist?) — the post I had in mind ended up ballooning in size because it needed so much context. Instead, I will just fill in the notebook including our current conjectures.

Currently, there isn't much there, just some basic definitions from Defining Liveness. But I will eventually hopefully have a fairly well-developed summary of a lot of the work in this area over there.

Tibi dixit cor meum, quæsívi vultum tuum, vultum tuum Dómine requíram: ne avértas fáciam tuam a me.

Esto mihi in Deum protectórem, et in locum refúgii, ut salvum me fácias: quóniam firmaméntum meum, et refúgium meum es tu: et propter nomen tuum dux mihi eris, et enútries me.

This Sunday was bizarrely called the Sunday of the "Transfiguration", despite that not being the actual feast of the Transfiguration. It's because my church All Saints Ainslie is hewing to the Revised Common Lectionary. I entitled this post Quinquagesima Sunday because that's what is listed in the Scottish Book of Common Prayer (and I am a Scottish Episcopalian). I joined the Ainslie choir for the first time in 2026. We performed Ouseley's From the Rising of the Sun:

From the rising of the sun

To the going down of the same,

My Name shall be great among the Gentiles,

And in ev'ry place incense shall be offer'd up unto my Name:

For My Name shall be great among the heathen,

Thus saith the Lord!

I also received some CD recordings from John Kitchen at Old St. Paul's while I was in Edinburgh, that I took the time to listen to recently. Calum Robertson, who plays the organ at Old St. Paul's, wrote a beautiful anthem from this moving poem by Irene Zimmerman:

The poem, at least to my reading, seems to clearly advocate for women's ordination, despite the author's communion opposing the same.