The final conflict has to be expressed in the original assumptions

This is now added as a TODO