to fit with the existing naming scheme `visited` -> `seen`