nonseminal

not defined yet