patience: completed invariant
patience: invariant establish except wf_stack, that should be removed now