Revise introduction.

Fix #135. Fix #130.