add precondition.