S. Standefer, “Varieties of Relevant S5”, LLP, vol. 32, no. 1, pp. 53–80, Mar. 2022.