Tarski Statements as Rationalist Exercise — AI Alignment Forum