Broken extended added
Completed prelim completeness proof