Debugged evaluation, added examples in top.