Dann allerdings
ist
klingt
jetzt die Definition das → ist rot & die Aussage das ist rot auch äußerlich ◇◇◇ von einander verschieden.