On 1/16/2019 10:38 PM, Johannes Loher wrote: > I don't think this is true. At least I am very interested in giving D's > types a sounder mathematical basis. Good to hear!