The inference from known endpoint separations (L⊊PSPACE, P⊊EXP) to an intermediate proper inclusion ...