Rename Expect to Condition in recognition of its generality