WeaklyHardVerification2022