show that patching gives identical objects