correction assertion boolean