Lectures from 2024: https://m3.jyu.fi/jyumv/ohjelmat/kptk/yhteiset/ktkp/2024-2025/ktkp010-syksy-2024, key: formaali