Started working on Herbrands universe