A little assertion