Let-expanded the object instantiations in the Figure1 example.