Some discovery, for sure. But not every pattern, right? For instance, not every axiom of Euclidean geometry, not how to solve cubic function, not the entirety of conic curves? Of course, these are just some examples and which ones to discover and which ones to teach are subject to discussion.