GCSG on numModels