Added a few steps towards General Cauchy