Value Preservation Logic