Revises more functional points in intro.