Verified assignment