Less-than is decidable.