no talk for proof-math