Thomas Somers, Jonas Kastberg Hinrichsen, Lennard Gäher, Robbert Krebbers: Building Blocks for Step-Indexed Program Logics. CPP 2026: 248-263