Proofread until Value declarations