Correction3: actually all of this can be verified. Updating pull request.