Checked that all the internal collisions are resolved in the right way.