"He realized that formal mathematics might even have an advantage over immediately insightful ("phenomenological") mathematics, because in its conceptual constitution it was free from the restrictions of the latter. I will call this view the symbolic realism of the "mature" Weyl."