Finished typical case on verification.
merge