Equation Icon  Pm := {(xa,pa) ∈ TM : gab(xa)papb = − m2c2, pa is future directed}. (25 )