On 7/11/12 12:12 PM, Timon Gehr wrote: > On 07/11/2012 05:27 PM, Andrei Alexandrescu wrote: >> >> We can't really model every possible design. >> > > If it cannot be modelled, it is not a possible design. There is if it can be modeled in a less constrained language. Andrei