liskov first version