I don't see why we can have machines with a tiny open source app running assembly, or c, or maybe python that is verifiable by thousand or millions of programmers that it is only counting.