 Categorical Analysis: An agent \(S\) has the ability to choose or do otherwise than \(\phi\) at time \(t\) if and only if it was possible, holding fixed everything up to \(t\), that \(S\) choose or do otherwise than \(\phi\) at \(t\). 