The (e) theory of mathematics becomes richer and richer through inputs from (i) new theories, (n) similar cases, and (o) general theories. The ultimate source of input is (a), although (b), thus enriched, may play a role of (a) in the sense that its inner integrity or improvement is questioned.