Herbrand base started. Little changes.