Source coding for a simple network with receiver side information.