guarantees

not defined yet