Reduction as an a posteriori Relation. (23rd August 2017)