update introduction
Add planetmath extension diagram