Backward chaining allows for a computation to advance even when the value of an input or parameter property is not available. This capability is provided by the Rule-Declare-Expressions rule type and the Property-Seek-Value method working together, and can be seen in standard flow actions including VerifyProperty and VerifyPropertyWithListing.