Musical setting of the Litany of Tarski — LessWrong