© 2025 Thomas Leitgeb, Michael Leitgeb, published by Ubiquity PressThis work is licensed under the Creative Commons Attribution 4.0 License.