Core of the Coalman 1 result

Core of the Coalman