Assuming the root cell law, the reduced form cell at infinity has law `lawDescend 1 (stateLaw (single 1 r))` for its infinity block events.

Initializing...

Assuming the root cell law, the reduced form cell at infinity has law `lawDescend 1 (stateLaw (single 1 r))` for its infinity block events. · Prove2Me