Double assert?