assumptions

not defined yet