assertion module
rearrange