Green Function, Correlation Inequality, 
Critical Point, Phase Transition