Thomasson's framework uses dependence to derive categories, but this is circular if dependence itsel...
This proposition has not been edited since the history system was added.