successor Deductions replaced entity is subclass of successor ⇐ (replacing entity is subclass of successor), (replacing entity is opposite of replaced entity)