Foundation of Analysis 2 2025