decoupled asserts