verificationalisation