adiabaticexpansion follows