added the first assertion