verifying arguments in progress
verifying arguments done