Collapse assertions