Herbrand structure

ID: herbrand-structure

New to topics? Read the docs here!