sentence1: matrix theory provides a non-perturbative definition of discrete light-cone quantized string theories .
sentence2: the matrix model formulation of m theory , holds the promise of providing a nonperturbative description of m theory , and consequently string theory .