Reduction requires that higher-level properties be nothing over and above lower-level properties, bu...