First version of the revised example.