The coercion-based argument cannot explain why distributive equality should be required within but n...