Added verify-matching and verify-continue.
Deal with cl
Update the commentary, do some tweaks