The core of games on distributive lattices: how to