mechanical verification