01/11/2026

space-for-time substitution