more assert()s