proof-first