The highlight of 07/30/23 lecture