finished asserts and operators