If this objective is made equal to 0 for all partial trajectories \(\tau \) , where \(R(s_n)\)  is substituted for \(F(s_n;\theta )\)  if \(s_n\)  is terminal, then the policy \(P_F\)  satisfies the desired condition (REF ). (Proof: When \(\mathcal {L}_{\rm SubTB}(\tau )=0\) , (REF ) is satisfied, implying satisfaction of both (REF ) and (REF ). Either of these conditions is a sufficient condition for (REF ), as shown by [1]}, [2]}.)
