[P3]Verification is very close.