proof.autonom.me - work in progress