Comment by adamnemecek

The field needs better foundations. CT is pretty good.