notes-math-cs
coreOfUniversality