2IMF00 (2023-GS4) Seminar formal system analysis