sjl/introduction-to-mathematical-thinking archive