check the technical manual for more information about the shorten operator.
i think this can help you.
The theory is when we know everything and nothing works.
The practice is when everything works and nobody knows why.
If the practice and theory are met, nothing works and we do not know why.