Die Funktion hat sozusagen eine extensionale Äußerung.