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