3 ms·Yep, i think that part was a clarification added after the bulletin was posted to HN.by knowtheory 12y agoYep, i think that part was a clarification added after the bulletin was posted to HN.