some notes on splay trees