Clausius_theorem loading ...