Tweaked features overview
Expanded on proof intro