crossing: traveling across
travel: the act of going from one place to another
universal quantifier: a logical quantifier of a proposition that asserts that the proposition is true for all members of a class of things