{
  "name": "systematic-enumeration",
  "description": "Forces element-by-element verification for finite sets to prevent counting errors."
}