Updated preconditions