Formal Models at the Core. Issue 3 (22nd March 2023)