Added assert()