Henry Towsner: What do ultraproducts remember about the original structures? J. Log. Comput. 34(1): 125-160 (2024)