Our first assertion!