B sampled A's intermediate state (red): true
A has its final state (blue): true