4˙422
Der Satz ist der Ausdruck seiner Wahrheitsbedingungen.