Added documentation about assumptions + comment aesthetics