finish rewriting the general results

* Removed wrong statement (rather, restrict to d = 2);
* Updated introduction to reflect the changes;
* Finish the introduction by refering to the source code repository.