This is extremely nice! I love all the notation and details.