Liskov's explanation at a talk she gave a couple years ago was that it just looked like the obvious way one ought to use subtyping and certainly not a deep enough insight to be worth naming.