The highlight of 07/16/23 lecture