corrected assertion