Here’s a “big mystery” that ought to connect to clear arithmetic:


	We’re perfecting an analogy-making procedure,

beyond pure mathematics, so that we can represent

		things within pure math.