If you formalize 'systemic construction' correctly then that almost always becomes always.

This is a very useful trick that gives a bit of extra strength to some type systems in programming. By constraining your self to the natural functions the correct implementation is often obvious, sometimes trivial.