An update for tomorrow's Jul 17 meeting. Myself and @OferRosenberg cannot make it. @lyd911 and @ssgwos, considering that you are other two currently active contributors, I am proposing we cancel tomorrow's meeting and meet next week on Jul 24. Please reply ASAP.