Splitting of coherent idempotents

An answer to a question of Martin Escardo.
That violates the uniform inheritance condition (and hence has no effect).