modified stuff
merged
changed notation a bit, corrected finite boards section