What kind of law is the second law of thermodynamics, as it arises in statistical mechanics