Just finish the introduction
Checkpoint
Add figures
Update the denotation
Checkpoint