Foundation of Analysis 2 2024