HN comments for: Terence Tao on O1