On Apr 4, 2019, at 3:12 AM, Andreas Abel <andreas.abel@ifi.lmu.de> wrote:

Not everything that is mathematically consequential is good software engineering practice.

+1 to that -- which means -1 to the proposal.

I might change my mind if the proposal includes the instance warnings, following Henning's reasoning.

Richard