See notes in 0notes.txt