Idea:  "Note that while the DNS server maps `Domain` to both `Server0` and `Server1` (in reality, this is a common practice for load balancing), only `Server0` maps `Path` to a resource object. This causes `HttpRequest0` to result in empty response: another error in our model!"