* verifiable: You can easily verify that the binaries you are running are actually based on the source code text that you have.