Why could a solution never have a
crossing?
