A great man. RIP Larry
