Two-Phase Exception Logic