editted as per Steve's modification and suggestions for the composition section (more on the formalism side)