Smith — Godel
