erroneous assert