Logische Konsequenz.