precondemns

not defined yet