The inheritance relation presupposes a stable type-identity, but truth-conditional variance across t...