Fixed introexample