I think that the reduction example works now. By God!