The Liskov Substitution Principle is a fundamental concept in object-oriented programming, ensuring that derived classes can be used in place of their base classes without altering the correctness of the program.
The right of nature... is the liberty each man hath, to use his own power, as he will himself, for the preservation of his own nature; that is to say, of his own life.