Progress with nested action graph proofs.