pair-wise execution is unrelated to any particular state representation