collision-free

(1)