4˙023
Der Satz zeigt, wie es sich verhält, wenn er wahr ist.