Enabling proof