Extensive comments added