oops! will delete it; we'll see which assertion failed at the end (and will improve err msg for that).