Prop.distrib_lattice source