[Retra]

We create the language and methodologies while we discover the relationships. It's both, as mathematics requires both.