Epilog. SMT 2024, 101, 373-382.