assumpt

not defined yet