prove no output is generated for divergence, at the expression level