dbc now has invariants