More work on intro; reformatted