Configurations belong to an instance-set