Formal-informal observations about math and related stuff.