F=-kT \ln Z