What can be verified locally?