[@Kho] I just finished reading the formal Summary, the one in the OOC, so I will now begin reading the summaries that follow the end point in the IC itself. Afterwards I will begin making the CS.