8_LOC_PROOF