Added sources and cited some stuff
Added more sections on workings of the lean