dot visitor works as well