Added 'consequent items' that designate deterministic consequences and are not required to be equal for default-joining.