Fact check

- Check the correctness of reduction overhead. Is there a way to test?
- Check the complexity description. Is there a way to prove?

Suggestion, make them documented better (for human test)!