I believe you do not understand my question well enough. Ok, probably my understanding of LSP is not quite correct. Assume LSP means polymorphism. So, what is wrong with the polymorphism in my example? There is no polymorphism at all right? So my example does not relate to LSP at all, and so it can't violate it, right?