assertDemo