Re: Coproduct of distributive lattices