Doc: Include background theory in Introduction