An Pr (weiter an 2 Familien; es scheint richtig zu gehen, sodass die neue Methode, basiert auf \(\mathfrak{W}\), das Axiom erfüllt, dass die Werte ungeändert bleiben, wenn eine neue Familie in die Sprache eingeführt wird.) – Abends kleinen Spaziergang mit Hanneli.
