module "counter-example" {