added more sections, subsections, added written tags, started new section on acyclicity of infinite boards
resolved conflicts