Sequential operators in computability logic

Re-assign community