notes-math-foundations-misc