assert and doc