Cyan comments on Tarski Statements as Rationalist Exercise