Of logical inference at all, or even before, the work in any binary, compressed, mark-up, or proprietary.