edits to completeness section

also caved and changed notation for p_bar