presumptions
not defined yet