On 11/11/11 15:15, Andreas Abel wrote: > I welcome your research > which would give more precise models. At the moment it seems that there will be unicorns in such a model, although not necessarily boolean valued. This is the reason I wrote the question. Martin