Slide "Enumeration by instances"