Editing: facade.stub