proof-generated definition