Redirecting to Boltzmann's entropy formula