Ymmärrätkö, mitä teen työkseni? Olen rakentanut neljä proof-järjestelmää