These are my personal notes. Correctness is not guaranteed.