With assert statements