assumer
not defined yet