More pseudo code comments