Proof of Progress with DeBruijn