3 ms·Upvoted for gratuitous Greg Egan name dropby danbmil99 6y agoUpvoted for gratuitous Greg Egan name drop