Man kann aber auch auf die Umgangssprache verzichten und die Axiome (unter Benutzung der Prädikatenlogik und wohlbestimmter Terme) in einer Formelsprache ausdrücken.
Heimweh und Erinnerung sind die gleichsam musikalischen Elemente seiner Formelsprache, welche die Motive schmerzhafter Trennung und glücklichen Wiederfindens begleiten.