The state after `tmpP`