Understanding the traversible instance of the tree lens (An idiots point of view)