add more intro.
achieving constant space complexity via threaded binary tree