Notes by zbl5337@gmail.com | export