note on trees
fix state diagram overflow
remove superfluous citation
remove rump Evaluation contents
Revert "remove rump Evaluation contents"

This reverts commit f5e33445a3c5e4477dd617511cd299ac7f314021.