Main documents and working code