TIL Barbara Liskov is still alive.
Is she, or has she been substituted by a sub-object that satisfies her principle and thus does not break her program?
Underrated comment.