Finished the notation, and it's awesome.