asserts and formatting