Formal 2025: It’s Back to the Future!