Alfred Tarski# 6ccc541a70577273be43351974f44c80