Some assert statements