Revert "prove exit1"

This reverts commit 848b52ded789b88b7b859037d4fcf1df31e7168a.