Illustration: two proof objects remain connected through one transfer and its source layers.