Added proof-creation externals.