adding precondition