add asserts (JIC)