test_dot works
verify