I've always wondered how these interdependent contracts survive forks, should one contract not really support the fork, and I guess they really don't. Another reason to be concerned about inserting complexity of lower layers - it bleeds complexity into the higher layers.