uncrossableness
not defined yet