Asserts and messages update