If a lesser agent can bring about a state s, then s is logically possible, and a maximally powerful ...