Another limit of the crosscut model is that, because of the way dataflow is explicitly encoded in the graph, it isn’t possible to solve constraints using non-local information. These ideas could point to an interesting direction which is that the whole model is represented by a spreadsheet style graph, that flows monotonically downwards by default. These “bridges” give a more detailled control than global relaxation, because we specify very clearly which values are allowed to be changed from the point of view of the source change.