Proper attribution to Erica Sadun given