This is a natural way to put it because generalisations like 'all Ks are Ls' are often held to state (or be) laws only if they meet this condition. If Ks just happen to be Ls, the generalisation is said to be only 'accidentally true', whereas a law (statement) must entail that any particular, whether K or not, would be L if it were K.