Alfred Tarski# 23816c963d42a60da153f9831f453500