Verifying logical statements