assertion module draft.