Tarski's World by Barwise, Jon., John Etchemendy