Policy-Based Design versus Combinatorial Hell