← AlternativeDerivation of thePartitionFunction ...