564.json
https://arbital.com/p/564
by Joe Zeng Jul 6 2016
Is N itself called ω, or just the usual ordering of it?