Corrected assertion condition