Hai, After watching Walter's video at Lang.NEXT, I have wanted to know how contracts inheritance works. In the following code, I don't understand why foo.bar(2) works...but with the sames contracts in the foo function it doesn't work. http://paste.pocoo.org/show/3Ab5IiQk6hTiJ0jAFZWv/ Thanks