Updated precondition

updated process precondition