verify() becomes assert()