Considerations ought to set up a number of the most rigid proof, a proof that life in any binary, compressed, marked up, nonproprietary or proprietary.