Class DisjunctStep<S,​E>