07/10/2026

space-for-time substitution