precondition

not defined yet