What can be verified locally?
scientific article; zbMATH DE number 6934101