Difference between a token and a cave: a cave is a place