Querying if a collision occurred