proofs lo rezFINALS