Emphasize the lifting benefits of Leibniz and Liskov.