We formalize the notion of conditional and unconditional convergence in information-dynamics-based IPS theory. By encoding "conditions" as initial constraints and ...