2IMF05 (2020-GS1) Capita selecta Formal System Analysis