For an agent S to have an ability to perform action A, it is necessary that it be possible that S do...