An assertion about the system, its operating environment or modes of use, that is employed without proof, although justification may be required