Way more succinct collision detection