add new termini
remove bogus assert add validate