Semi-lattice's diff seems not found