Standefer, S. Varieties of Relevant S5. LLP 2022, 32, 53-80.