Added invariants_view