Maybe Empty() would do the same too...