re: #1136 Sigma_x

No. They’re not. They’re looking at John Paulson, not Hank Paulson. Two different people - and they’re unrelated to each other.