next hour, study logic. gonna understand homotopy type theory before i puff out my last breath.http://xahlee.info/math/math_books.html#math