Adding verify-A