Add Skolemization section.