assumption

not defined yet