preconditions

not defined yet