Added verify-related and verify-proceeding.