These are mostly my personal notes.