 A tense-logical proposition, \(p\), is said to be valid in general iff for any branching-time system with a valuation function, \(T\), defined in this manner it holds that \(T(t,t,p)=1\) at any instant \(t\) in the branching-time system.