Knowing that a chain A⊆B⊆C satisfies A⊊C does not logically entail which intermediate link is proper...